package com.googlecode.kipler.syntax;

public enum LTLUnaryOperator {
	NEXT, SOMETIME, ALWAYS;
}
